DMMF: 依存関係の注入

LT;DR

本書はこれ

コンポジションルート は エントリポイントと近いほうが良い

依存関係が多い場合、その原因のほとんどは関数の責務が多すぎることである

対応策

小さく分割する

hr.icon

関数型で『依存性の注入』を実現する

実現方法

もっとも単純な方法

code:fsharp

let placeOrder

checkProductCodeExists

checkAddressExists

getProductPrice

createOrderAcknowledgmentLetter

sendOrderAcknowledgment

: PlaceOrderWorkflow =

fun unvalidatedOrder ->

// ...

各ステップ

code:fsharp

let validateOrder: ValidateOrder =

fun checkProductCodeExists

checkAddressExists

unvalidatedOrder ->

let shippingAddress =

unvalidatedOrder.ShippingAddress

|> toAddress checkAddressExists

// ...

let lines =

unvalidatedOrder.Lines

|> List.map (toValidatedOrderLine checkProductCodeExists)

ヘルパ関数

code:fsharp

let toValidatedOrderLine checkProductExists unvalidatedOrderLine =

let orderLineId = ...

let productCode =

unvalidatedOrderLine.ProductCode

|> toProductCode checkProductExists

code:fsharp

let app: WebPart =

// ワークフローで使用するサービスの設定

let checkProductCodeExists = ...

let checkAddressExists = ...

let getProductPrice = ...

let createOrderAcknowledgmentLetter = ...

let sendOrderAcknowledgment = ...

let toHttpResponse = ...

// サービスの部分適用による placeOrder ワークフローの設定

let placeOrder =

placeOrder

checkProductCodeExists

checkAddressExists

getProductPrice

createOrderAcknowledgmentLetter

sendOrderAcknowledgment

// 他のワークフローの設定

let changeOrder = ...

let cancelOrder = ...

// ルーティングの設定

choose

[ POST >=> choose

[ path "/placeOrder"

=> deserializeOrder // JSON を未検証の注文に変換

=> placeOrder // ワークフローを実行

=> postEvents // イベントをキューに投入

=> toHttpResponse // 出力に基づきレスポンスを返す

path "/changeOrder"

=> ...

path "/cancelOrder"

=> ...

]

]

依存関係が多すぎる場合にすべきこと

小さい要素に分割できないか？

難しい場合は、依存関係を 1 つのレコード構造にまとめる

1 つのパラメータとして渡すことも考えられる

よくあるのが、子関数の依存関係が複雑になっているケース

code:fsharp

let checkAddressExists endPoint crendentials =

....

code:fsharp

let toAddress checkAddressExists endPoint crendentials unvalidatedAddress =

...

let checkAddress = checkAddressExists endPoint crendentials unvalidatedAddress

code:fsharp

let validateOrder

checkProductCodeExists

checkAddressExists

endPoint

credentials

unvalidatedOrder =

...

...

代替案

code:fsharp

let placeOrder: PlaceOrderWorkflow =

let endPoint = ...

let credentials = ...

// 認証情報を埋め込んだ checkAddressExists の新しいバージョンを作成

let checkAddressExists = checkAddressExists endPoint credentials

// ワークフローのステップを設定

let validateOrder =

validateOrder checkProductCodeExists checkAddressExists

...

// ワークフロー関数を返す

fun unvalidatedOrder ->

unvalidatedOrder

|> validateOrder

// ...